HalfSpace

HalfSpace[n,p] represents the half-space of points x such that n.(x-p)≤0.

HalfSpace[n,c] represents the half-space of points x such that n.x≤c. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.